<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    // Copyright 2007-2009 Waterken Inc. under the terms of the MIT X license<a name="line.1"></a>
<FONT color="green">002</FONT>    // found at http://www.opensource.org/licenses/mit-license.html<a name="line.2"></a>
<FONT color="green">003</FONT>    package org.waterken.eq;<a name="line.3"></a>
<FONT color="green">004</FONT>    <a name="line.4"></a>
<FONT color="green">005</FONT>    import static org.ref_send.promise.Eventual.ref;<a name="line.5"></a>
<FONT color="green">006</FONT>    import static org.ref_send.test.Logic.join;<a name="line.6"></a>
<FONT color="green">007</FONT>    <a name="line.7"></a>
<FONT color="green">008</FONT>    import java.io.Serializable;<a name="line.8"></a>
<FONT color="green">009</FONT>    <a name="line.9"></a>
<FONT color="green">010</FONT>    import org.ref_send.list.List;<a name="line.10"></a>
<FONT color="green">011</FONT>    import org.ref_send.promise.Deferred;<a name="line.11"></a>
<FONT color="green">012</FONT>    import org.ref_send.promise.Do;<a name="line.12"></a>
<FONT color="green">013</FONT>    import org.ref_send.promise.Eventual;<a name="line.13"></a>
<FONT color="green">014</FONT>    import org.ref_send.promise.Promise;<a name="line.14"></a>
<FONT color="green">015</FONT>    import org.ref_send.promise.Receiver;<a name="line.15"></a>
<FONT color="green">016</FONT>    <a name="line.16"></a>
<FONT color="green">017</FONT>    /**<a name="line.17"></a>
<FONT color="green">018</FONT>     * Checks invariants of the ref_send API.<a name="line.18"></a>
<FONT color="green">019</FONT>     */<a name="line.19"></a>
<FONT color="green">020</FONT>    public final class<a name="line.20"></a>
<FONT color="green">021</FONT>    SoundCheck {<a name="line.21"></a>
<FONT color="green">022</FONT>        private SoundCheck() {}<a name="line.22"></a>
<FONT color="green">023</FONT>    <a name="line.23"></a>
<FONT color="green">024</FONT>        /**<a name="line.24"></a>
<FONT color="green">025</FONT>         * Runs a unit test.<a name="line.25"></a>
<FONT color="green">026</FONT>         * @param _ eventual operator<a name="line.26"></a>
<FONT color="green">027</FONT>         */<a name="line.27"></a>
<FONT color="green">028</FONT>        static public Promise&lt;?&gt;<a name="line.28"></a>
<FONT color="green">029</FONT>        make(final Eventual _) throws Exception {<a name="line.29"></a>
<FONT color="green">030</FONT>            final Deferred&lt;?&gt; x = _.defer();<a name="line.30"></a>
<FONT color="green">031</FONT>            return join(_, testNormal(_, x.resolver),<a name="line.31"></a>
<FONT color="green">032</FONT>                           testNull(_, null),<a name="line.32"></a>
<FONT color="green">033</FONT>                           testDouble(_),<a name="line.33"></a>
<FONT color="green">034</FONT>                           testFloat(_));<a name="line.34"></a>
<FONT color="green">035</FONT>        }<a name="line.35"></a>
<FONT color="green">036</FONT>    <a name="line.36"></a>
<FONT color="green">037</FONT>        /**<a name="line.37"></a>
<FONT color="green">038</FONT>         * Tests promises for a normal reference.<a name="line.38"></a>
<FONT color="green">039</FONT>         */<a name="line.39"></a>
<FONT color="green">040</FONT>        static private &lt;T extends Receiver&lt;?&gt;&gt; Promise&lt;?&gt;<a name="line.40"></a>
<FONT color="green">041</FONT>        testNormal(final Eventual _, final T x) throws Exception {<a name="line.41"></a>
<FONT color="green">042</FONT>            final Promise&lt;T&gt; p = ref(x);<a name="line.42"></a>
<FONT color="green">043</FONT>            check(p.equals(p));<a name="line.43"></a>
<FONT color="green">044</FONT>            check(ref(x).equals(p));<a name="line.44"></a>
<FONT color="green">045</FONT>            check(x.equals(p.call()));<a name="line.45"></a>
<FONT color="green">046</FONT>            class EQ extends Do&lt;T,Promise&lt;Boolean&gt;&gt; implements Serializable {<a name="line.46"></a>
<FONT color="green">047</FONT>                static private final long serialVersionUID = 1L;<a name="line.47"></a>
<FONT color="green">048</FONT>    <a name="line.48"></a>
<FONT color="green">049</FONT>                public Promise&lt;Boolean&gt;<a name="line.49"></a>
<FONT color="green">050</FONT>                fulfill(final T arg) throws Exception {<a name="line.50"></a>
<FONT color="green">051</FONT>                    check(x.equals(arg));<a name="line.51"></a>
<FONT color="green">052</FONT>                    return ref(true);<a name="line.52"></a>
<FONT color="green">053</FONT>                }<a name="line.53"></a>
<FONT color="green">054</FONT>            }<a name="line.54"></a>
<FONT color="green">055</FONT>            final Promise&lt;?&gt; a = _.when(p, new EQ());<a name="line.55"></a>
<FONT color="green">056</FONT>            final Promise&lt;?&gt; b = _.when(x, new EQ());<a name="line.56"></a>
<FONT color="green">057</FONT>            final Promise&lt;?&gt; c = _.when(new Sneaky&lt;T&gt;(x), new EQ());<a name="line.57"></a>
<FONT color="green">058</FONT>    <a name="line.58"></a>
<FONT color="green">059</FONT>            final T x_ = _._(x);<a name="line.59"></a>
<FONT color="green">060</FONT>            check(x_.equals(x_));<a name="line.60"></a>
<FONT color="green">061</FONT>            check(_._(x_).equals(x_));<a name="line.61"></a>
<FONT color="green">062</FONT>            check(_._(x).equals(x_));<a name="line.62"></a>
<FONT color="green">063</FONT>            check(ref(x_).equals(p));<a name="line.63"></a>
<FONT color="green">064</FONT>            final Promise&lt;?&gt; d = _.when(x_, new EQ());<a name="line.64"></a>
<FONT color="green">065</FONT>    <a name="line.65"></a>
<FONT color="green">066</FONT>            return join(_, a, b, c, d);<a name="line.66"></a>
<FONT color="green">067</FONT>        }<a name="line.67"></a>
<FONT color="green">068</FONT>    <a name="line.68"></a>
<FONT color="green">069</FONT>        /**<a name="line.69"></a>
<FONT color="green">070</FONT>         * Tests promises for a &lt;code&gt;null&lt;/code&gt;.<a name="line.70"></a>
<FONT color="green">071</FONT>         */<a name="line.71"></a>
<FONT color="green">072</FONT>        static private &lt;T extends Receiver&lt;?&gt;&gt; Promise&lt;?&gt;<a name="line.72"></a>
<FONT color="green">073</FONT>        testNull(final Eventual _, final T x) throws Exception {<a name="line.73"></a>
<FONT color="green">074</FONT>            final Promise&lt;T&gt; p = ref(x);<a name="line.74"></a>
<FONT color="green">075</FONT>            check(null == p);<a name="line.75"></a>
<FONT color="green">076</FONT>            class NE extends Do&lt;T,Promise&lt;Boolean&gt;&gt; implements Serializable {<a name="line.76"></a>
<FONT color="green">077</FONT>                static private final long serialVersionUID = 1L;<a name="line.77"></a>
<FONT color="green">078</FONT>    <a name="line.78"></a>
<FONT color="green">079</FONT>                public Promise&lt;Boolean&gt;<a name="line.79"></a>
<FONT color="green">080</FONT>                fulfill(final T arg) throws Exception { throw new Exception(); }<a name="line.80"></a>
<FONT color="green">081</FONT>    <a name="line.81"></a>
<FONT color="green">082</FONT>                public Promise&lt;Boolean&gt;<a name="line.82"></a>
<FONT color="green">083</FONT>                reject(final Exception reason) throws Exception {<a name="line.83"></a>
<FONT color="green">084</FONT>                    if (reason instanceof NullPointerException) {return ref(true);}<a name="line.84"></a>
<FONT color="green">085</FONT>                    throw reason;<a name="line.85"></a>
<FONT color="green">086</FONT>                }<a name="line.86"></a>
<FONT color="green">087</FONT>            }<a name="line.87"></a>
<FONT color="green">088</FONT>            final Promise&lt;?&gt; a = _.when(p, new NE());<a name="line.88"></a>
<FONT color="green">089</FONT>            final Promise&lt;?&gt; b = _.when(x, new NE());<a name="line.89"></a>
<FONT color="green">090</FONT>            final Promise&lt;?&gt; c = _.when(new Sneaky&lt;T&gt;(x), new NE());<a name="line.90"></a>
<FONT color="green">091</FONT>    <a name="line.91"></a>
<FONT color="green">092</FONT>            final T x_ = Eventual.cast(Receiver.class, p);<a name="line.92"></a>
<FONT color="green">093</FONT>            check(null == x_);<a name="line.93"></a>
<FONT color="green">094</FONT>            check(null == ref(x_));<a name="line.94"></a>
<FONT color="green">095</FONT>            final Promise&lt;?&gt; d = _.when(x_, new NE());<a name="line.95"></a>
<FONT color="green">096</FONT>    <a name="line.96"></a>
<FONT color="green">097</FONT>            return join(_, a, b, c, d);<a name="line.97"></a>
<FONT color="green">098</FONT>        }<a name="line.98"></a>
<FONT color="green">099</FONT>    <a name="line.99"></a>
<FONT color="green">100</FONT>        static private &lt;T&gt; Promise&lt;?&gt;<a name="line.100"></a>
<FONT color="green">101</FONT>        testNaN(final Eventual _, final T x) throws Exception {<a name="line.101"></a>
<FONT color="green">102</FONT>            final Promise&lt;T&gt; p = ref(x);<a name="line.102"></a>
<FONT color="green">103</FONT>            check(p.equals(p));<a name="line.103"></a>
<FONT color="green">104</FONT>            check(!p.equals(ref(x)));<a name="line.104"></a>
<FONT color="green">105</FONT>            try {<a name="line.105"></a>
<FONT color="green">106</FONT>                p.call();<a name="line.106"></a>
<FONT color="green">107</FONT>                check(false);<a name="line.107"></a>
<FONT color="green">108</FONT>            } catch (final ArithmeticException e) { /* expected */ }<a name="line.108"></a>
<FONT color="green">109</FONT>            class ENaN extends Do&lt;T,Promise&lt;Boolean&gt;&gt; implements Serializable {<a name="line.109"></a>
<FONT color="green">110</FONT>                static private final long serialVersionUID = 1L;<a name="line.110"></a>
<FONT color="green">111</FONT>    <a name="line.111"></a>
<FONT color="green">112</FONT>                public Promise&lt;Boolean&gt;<a name="line.112"></a>
<FONT color="green">113</FONT>                fulfill(final T arg) throws Exception { throw new Exception(); }<a name="line.113"></a>
<FONT color="green">114</FONT>    <a name="line.114"></a>
<FONT color="green">115</FONT>                public Promise&lt;Boolean&gt;<a name="line.115"></a>
<FONT color="green">116</FONT>                reject(final Exception reason) throws Exception {<a name="line.116"></a>
<FONT color="green">117</FONT>                    if (reason instanceof ArithmeticException) { return ref(true); }<a name="line.117"></a>
<FONT color="green">118</FONT>                    throw reason;<a name="line.118"></a>
<FONT color="green">119</FONT>                }<a name="line.119"></a>
<FONT color="green">120</FONT>            }<a name="line.120"></a>
<FONT color="green">121</FONT>            final Promise&lt;?&gt; a = _.when(p, new ENaN());<a name="line.121"></a>
<FONT color="green">122</FONT>            final Promise&lt;?&gt; b = _.when(x, new ENaN());<a name="line.122"></a>
<FONT color="green">123</FONT>            final Promise&lt;?&gt; c = _.when(new Sneaky&lt;T&gt;(x), new ENaN());<a name="line.123"></a>
<FONT color="green">124</FONT>    <a name="line.124"></a>
<FONT color="green">125</FONT>            return join(_, a, b, c);<a name="line.125"></a>
<FONT color="green">126</FONT>        }<a name="line.126"></a>
<FONT color="green">127</FONT>    <a name="line.127"></a>
<FONT color="green">128</FONT>        /**<a name="line.128"></a>
<FONT color="green">129</FONT>         * Tests promises for {@link Double}.<a name="line.129"></a>
<FONT color="green">130</FONT>         */<a name="line.130"></a>
<FONT color="green">131</FONT>        static private Promise&lt;?&gt;<a name="line.131"></a>
<FONT color="green">132</FONT>        testDouble(final Eventual _) throws Exception {<a name="line.132"></a>
<FONT color="green">133</FONT>            // check normal handling<a name="line.133"></a>
<FONT color="green">134</FONT>            final Promise&lt;Double&gt; pMin = ref(Double.MIN_VALUE);<a name="line.134"></a>
<FONT color="green">135</FONT>            check(pMin.equals(pMin));<a name="line.135"></a>
<FONT color="green">136</FONT>            check(ref(Double.MIN_VALUE).equals(pMin));<a name="line.136"></a>
<FONT color="green">137</FONT>            check(Double.MIN_VALUE == pMin.call());<a name="line.137"></a>
<FONT color="green">138</FONT>            class EQ extends Do&lt;Double,Promise&lt;Boolean&gt;&gt; implements Serializable {<a name="line.138"></a>
<FONT color="green">139</FONT>                static private final long serialVersionUID = 1L;<a name="line.139"></a>
<FONT color="green">140</FONT>    <a name="line.140"></a>
<FONT color="green">141</FONT>                public Promise&lt;Boolean&gt;<a name="line.141"></a>
<FONT color="green">142</FONT>                fulfill(final Double arg) throws Exception {<a name="line.142"></a>
<FONT color="green">143</FONT>                    check(Double.MIN_VALUE == arg);<a name="line.143"></a>
<FONT color="green">144</FONT>                    return ref(true);<a name="line.144"></a>
<FONT color="green">145</FONT>                }<a name="line.145"></a>
<FONT color="green">146</FONT>            }<a name="line.146"></a>
<FONT color="green">147</FONT>            final Promise&lt;?&gt; a = _.when(pMin, new EQ());<a name="line.147"></a>
<FONT color="green">148</FONT>            final Promise&lt;?&gt; b = _.when(Double.MIN_VALUE, new EQ());<a name="line.148"></a>
<FONT color="green">149</FONT>    <a name="line.149"></a>
<FONT color="green">150</FONT>            final Promise&lt;?&gt; c = testNaN(_, Double.NaN);<a name="line.150"></a>
<FONT color="green">151</FONT>            final Promise&lt;?&gt; d = testNaN(_, Double.NEGATIVE_INFINITY);<a name="line.151"></a>
<FONT color="green">152</FONT>            final Promise&lt;?&gt; e = testNaN(_, Double.POSITIVE_INFINITY);<a name="line.152"></a>
<FONT color="green">153</FONT>    <a name="line.153"></a>
<FONT color="green">154</FONT>            return join(_, a, b, c, d, e);<a name="line.154"></a>
<FONT color="green">155</FONT>        }<a name="line.155"></a>
<FONT color="green">156</FONT>    <a name="line.156"></a>
<FONT color="green">157</FONT>        /**<a name="line.157"></a>
<FONT color="green">158</FONT>         * Tests promises for {@link Float}.<a name="line.158"></a>
<FONT color="green">159</FONT>         */<a name="line.159"></a>
<FONT color="green">160</FONT>        static private Promise&lt;?&gt;<a name="line.160"></a>
<FONT color="green">161</FONT>        testFloat(final Eventual _) throws Exception {<a name="line.161"></a>
<FONT color="green">162</FONT>            // check normal handling<a name="line.162"></a>
<FONT color="green">163</FONT>            final Promise&lt;Float&gt; pMin = ref(Float.MIN_VALUE);<a name="line.163"></a>
<FONT color="green">164</FONT>            check(pMin.equals(pMin));<a name="line.164"></a>
<FONT color="green">165</FONT>            check(ref(Float.MIN_VALUE).equals(pMin));<a name="line.165"></a>
<FONT color="green">166</FONT>            check(Float.MIN_VALUE == pMin.call());<a name="line.166"></a>
<FONT color="green">167</FONT>            class EQ extends Do&lt;Float,Promise&lt;Boolean&gt;&gt; implements Serializable {<a name="line.167"></a>
<FONT color="green">168</FONT>                static private final long serialVersionUID = 1L;<a name="line.168"></a>
<FONT color="green">169</FONT>    <a name="line.169"></a>
<FONT color="green">170</FONT>                public Promise&lt;Boolean&gt;<a name="line.170"></a>
<FONT color="green">171</FONT>                fulfill(final Float arg) throws Exception {<a name="line.171"></a>
<FONT color="green">172</FONT>                    check(Float.MIN_VALUE == arg);<a name="line.172"></a>
<FONT color="green">173</FONT>                    return ref(true);<a name="line.173"></a>
<FONT color="green">174</FONT>                }<a name="line.174"></a>
<FONT color="green">175</FONT>            }<a name="line.175"></a>
<FONT color="green">176</FONT>            final Promise&lt;?&gt; a = _.when(pMin, new EQ());<a name="line.176"></a>
<FONT color="green">177</FONT>            final Promise&lt;?&gt; b = _.when(Float.MIN_VALUE, new EQ());<a name="line.177"></a>
<FONT color="green">178</FONT>    <a name="line.178"></a>
<FONT color="green">179</FONT>            final Promise&lt;?&gt; c = testNaN(_, Float.NaN);<a name="line.179"></a>
<FONT color="green">180</FONT>            final Promise&lt;?&gt; d = testNaN(_, Float.NEGATIVE_INFINITY);<a name="line.180"></a>
<FONT color="green">181</FONT>            final Promise&lt;?&gt; e = testNaN(_, Float.POSITIVE_INFINITY);<a name="line.181"></a>
<FONT color="green">182</FONT>    <a name="line.182"></a>
<FONT color="green">183</FONT>            return join(_, a, b, c, d, e);<a name="line.183"></a>
<FONT color="green">184</FONT>        }<a name="line.184"></a>
<FONT color="green">185</FONT>    <a name="line.185"></a>
<FONT color="green">186</FONT>        static protected void<a name="line.186"></a>
<FONT color="green">187</FONT>        check(final boolean valid) throws Exception {<a name="line.187"></a>
<FONT color="green">188</FONT>            if (!valid) { throw new Exception(); }<a name="line.188"></a>
<FONT color="green">189</FONT>        }<a name="line.189"></a>
<FONT color="green">190</FONT>    <a name="line.190"></a>
<FONT color="green">191</FONT>        // Command line interface<a name="line.191"></a>
<FONT color="green">192</FONT>    <a name="line.192"></a>
<FONT color="green">193</FONT>        /**<a name="line.193"></a>
<FONT color="green">194</FONT>         * Executes the test.<a name="line.194"></a>
<FONT color="green">195</FONT>         * @param args  ignored<a name="line.195"></a>
<FONT color="green">196</FONT>         * @throws Exception    test failed<a name="line.196"></a>
<FONT color="green">197</FONT>         */<a name="line.197"></a>
<FONT color="green">198</FONT>        static public void<a name="line.198"></a>
<FONT color="green">199</FONT>        main(final String[] args) throws Exception {<a name="line.199"></a>
<FONT color="green">200</FONT>            final List&lt;Promise&lt;?&gt;&gt; work = List.list();<a name="line.200"></a>
<FONT color="green">201</FONT>            final Promise&lt;?&gt; result = make(new Eventual(work.appender()));<a name="line.201"></a>
<FONT color="green">202</FONT>            while (!work.isEmpty()) { work.pop().call(); }<a name="line.202"></a>
<FONT color="green">203</FONT>            result.call();<a name="line.203"></a>
<FONT color="green">204</FONT>        }<a name="line.204"></a>
<FONT color="green">205</FONT>    }<a name="line.205"></a>




























































</PRE>
</BODY>
</HTML>
